#EsterelPlan message
EsterelPlanNode[] nodes
EsterelPlanEdge[] edges
